projects
/
gtk4.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2f898e8
)
widget-factory: Remove duplicate margin-start
author
Alexander Mikhaylenko
<alexm@gnome.org>
Wed, 6 May 2020 20:29:33 +0000
(
01:29
+0500)
committer
Alexander Mikhaylenko
<alexm@gnome.org>
Wed, 6 May 2020 20:29:33 +0000
(
01:29
+0500)
demos/widget-factory/widget-factory.ui
patch
|
blob
|
history
diff --git
a/demos/widget-factory/widget-factory.ui
b/demos/widget-factory/widget-factory.ui
index b34274c8841e44a249eef31314fd878492282f20..f3321e1f6f1c9338441c6267da01a7a38bd58dac 100644
(file)
--- a/
demos/widget-factory/widget-factory.ui
+++ b/
demos/widget-factory/widget-factory.ui
@@
-1800,7
+1800,6
@@
microphone-sensitivity-medium-symbolic</property>
<property name="halign">start</property>
<property name="valign">center</property>
<property name="margin-start">6</property>
- <property name="margin-start">6</property>
<property name="margin-end">6</property>
<property name="margin-top">6</property>
<property name="margin-bottom">6</property>